1. False $\Rightarrow$ True
\\[0ex]2. False $\Leftarrow\!$ True
\\[0ex]$\vdash$  ff = tt